world semantics
英 [wɜːld sɪˈmæntɪks]
美 [wɜːrld sɪˈmæntɪks]
网络 世界语义学
双语例句
- Chinese language is one of the oldest and most popular languages in the world, rich in semantics.
中文文字是世界上最古老、使用最广泛的文字，语义丰富，而且可与计算机完美地结合。 - Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。 - The application of ontology in the world wide web provides an effective solution to share web information with awareness of semantics.
本体在Web上的应用能够有效解决Web信息共享的语义问题。 - World is a category of semantics.
世界是一个语义范畴。 - Ontology application in the World Wide Web, which leads to the semantic Web, shows an attractive solution to share Web information with awareness of semantics.
本体在Web上的应用导致了语义Web的诞生，有望解决Web信息共享时的语义问题，实现世界范围的知识级信息集成。 - Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.
巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。 - In 1998 the World-Wide Web Consortium ( W3C) inaugurated a research initiative centred on the idea of providing semantics for and facilitating the extraction of knowledge from the WWW.
1998年，WWW协会发起了一个创新性研究，该研究致力于：为WEB提供语义和从WEB实施知识抽取。 - Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判 - An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。 - To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。 - This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。 - Recently, there are many kinds of workflow process models in the world. For example, text models with syntax and semantics, active network graphics models, state chart models and Petri net models.
目前，有很多方法和工具可用于描述工作流过程模型，例如：有一定语法和语义的正文描述语言的方式、活动网络图的方式、状态机的方式和Petri网的方式等。 - However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.
然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。 - But we all know in the wider world, the information in a different social environment, different cultures, different areas are different. At the same time, the semantics of the information will evolve with the changes in external factors.
但是我们都知道在大千世界，信息在不同的社会环境、不同文化、不同的领域中是不同的；与此同时，信息的语义还会随着外界因素的变化而发生演变。